Date: Wed, 20 Nov 1996 19:38:58 GMT
Server: Apache-SSL/0.4.3b
Content-type: text/html
Last-modified: Thu, 29 Aug 1996 22:12:15 GMT

<HEAD>
<TITLE> TimeWare Project </TITLE>
</HEAD>

<BODY  background="cool_tile.gif">
<pre>        
<!WA0><a href="http://www.cs.umd.edu/projects/TimeWare/persistence_of_memory.gif">
<!WA1><img ALIGN=bottom src="http://www.cs.umd.edu/projects/TimeWare/persistence_of_memory_detail.gif"></a> Dali, <em>Persistence of Memory</em>
</pre>

<hr>
<p>
<H1>The TimeWare Project </H1>
<p>
The TimeWare Project is devoted to building tools for the design and
implementation of concurrent, real-time systems.   Within the project,
we are currently carrying out research in specification, static analysis,
programming languages and scheduling technologies.
<p>
<B> Sponsors:</B> Office of Naval Research, National Science Foundatation.
<hr>

<h3> Current Areas of Research: </h3>
<DL>
<DD><!WA2><img src="http://www.cs.umd.edu/projects/TimeWare/ball.red.gif"> <b><!WA3><A HREF="http://www.cs.umd.edu/projects/TimeWare/research/spec.html">Specification and Automated Analysis</A></b><BR>
<DD><!WA4><img src="http://www.cs.umd.edu/projects/TimeWare/ball.red.gif"> <b><!WA5><A HREF="http://www.cs.umd.edu/projects/TimeWare/research/compilers.html">Programming Languages and Compilers</A></b><BR>
<DD><!WA6><img src="http://www.cs.umd.edu/projects/TimeWare/ball.red.gif"> <b><!WA7><A HREF="http://www.cs.umd.edu/projects/TimeWare/research/sched.html">Real-Time Scheduling</A></b><BR>
<DD><!WA8><img src="http://www.cs.umd.edu/projects/TimeWare/ball.red.gif"> <b><!WA9><A HREF="http://www.cs.umd.edu/projects/TimeWare/research/design.html">End-To-End Design</A></b><BR>
<DD><!WA10><img src="http://www.cs.umd.edu/projects/TimeWare/ball.red.gif"> <b><!WA11><A HREF="http://www.cs.umd.edu/projects/TimeWare/research/multimedia.html">Multimedia Systems</A></b><BR>
</DL>
<P>

<h3> Faculty:</h3>
<DL>
<DD><!WA12><img src="http://www.cs.umd.edu/projects/TimeWare/ball.red.gif">  <b><!WA13><a href="http://www.cs.umd.edu/~rich">Dr. Richard Gerber</a></b>
</DL>

<h3> Graduate Students: </h3>
<DL>
<DD><!WA14><img src="http://www.cs.umd.edu/projects/TimeWare/ball.red.gif"> <b><!WA15><a href="http://www.cs.umd.edu/~bultan">Tevfik Bultan</a></b>
<DD><!WA16><img src="http://www.cs.umd.edu/projects/TimeWare/ball.red.gif"> <b><!WA17><a href="http://www.cs.umd.edu/~ladan">Ladan Gharai</a></b>
<DD><!WA18><img src="http://www.cs.umd.edu/projects/TimeWare/ball.red.gif"> <b><!WA19><a href="http://www.cs.umd.edu/~dikang">Dong-In Kang</a></b>
</DL>

<h3> Recent Alumni: </h3>
<DL>
<DD><!WA20><img src="http://www.cs.umd.edu/projects/TimeWare/ball.red.gif"> <b><!WA21><a href="http://www.cs.umd.edu/~jfischer">Dr. Jeffrey Fischer</a>, 
   Rational Software Corporation</b>
<DD><!WA22><img src="http://www.cs.umd.edu/projects/TimeWare/ball.red.gif"> <b><!WA23><a href="http://www.cs.umd.edu/~sshong">Dr. Seongsoo Hong</a>,
	School of Electrical Engineering, Seoul National University, Korea.</b>
<DD><!WA24><img src="http://www.cs.umd.edu/projects/TimeWare/ball.red.gif"> <b><!WA25><a href="http://www.cs.umd.edu/~manas">Dr. Manas Saksena</a>,
	Assistant Professor, Concordia University.</b>
</DL>

<h3> Selected Publications:</h3>
<DL>
<DD><!WA26><img src="http://www.cs.umd.edu/projects/TimeWare/ball.red.gif"> <b> <!WA27><a href="http://www.cs.umd.edu/fs/ftp/pub/realtime/TimeWare-index.html">Papers</a></b></li>
</DL>

<h3>
Pointers to related information:</h3>
<dl> 
<dd><!WA28><img src="http://www.cs.umd.edu/projects/TimeWare/ball.red.gif">  <!WA29><a href ="http://cs-www.bu.edu/pub/ieee-rts/Home.html">
IEEE-CS Technical Committee on Real-Time Systems</a>
<dd><!WA30><img src="http://www.cs.umd.edu/projects/TimeWare/ball.red.gif">  <!WA31><a href ="http://www.cs.umd.edu/projects/realtime/realtime.html">
Real-Time Systems at the University of Maryland</a>
<dd><!WA32><img src="http://www.cs.umd.edu/projects/TimeWare/ball.red.gif">  <!WA33><a href ="http://www.cs.umd.edu/projects/TimeWare/sigplan95">
ACM SIGPLAN Workshop on Languages, Compiler and Tools  for Real-Time Systems</a> 
</BODY>


